Modular Hardware Design with Timeline Types

Modular design is a key challenge for enabling large-scale reuse of hardware modules. Unlike software, however, hardware designs correspond to physical circuits and inherit constraints from them. Timing constraints -- which cycle a signal arrives, when an input is read -- and structural constraints -- how often a multiplier accepts new inputs -- are fundamental to hardware interfaces. Existing hardware design languages do not provide a way to encode these constraints; a user must read documentation, build scripts, or in the worst case, a module's implementation to understand how to use it. We present Filament, a language for modular hardware design that supports the specification and enforcement of timing and structural constraints for statically scheduled pipelines. Filament uses timeline types, which describe the intervals of clock-cycle time when a given signal is available or required. Filament enables safe composition of hardware modules, ensures that the resulting designs are correctly pipelined, and predictably lowers them to efficient hardware.Comment: Extended version of PLDI '23 pape

A Specification for Dependent Types in Haskell

We propose a core semantics for Dependent Haskell, an extension of Haskell with full-spectrum dependent types. Our semantics consists of two related languages. The first is a Curry-style dependently-typed language with nontermination, irrelevant arguments, and equality abstraction. The second, inspired by the Glasgow Haskell Compiler’s core language FC, is its explicitly-typed analogue, suitable for implementation in GHC. All of our results -- chiefly, type safety, along with theorems that relate these two languages -- have been formalized using the Coq proof assistant. Because our work is backwards compatible with Haskell, our type safety proof holds in the presence of nonterminating computation. However, unlike other full-spectrum dependently-typed languages, such as Coq, Agda or Idris, because of this nontermination, Haskell’s term language does not correspond to a consistent logic

A Specification for Dependent Types in Haskell

We propose a core semantics for Dependent Haskell, an extension of Haskell with full-spectrum dependent types. Our semantics consists of two related languages. The first is a Curry-style dependently-typed language with nontermination, irrelevant arguments, and equality abstraction. The second, inspired by the Glasgow Haskell Compiler’s core language FC, is its explicitly-typed analogue, suitable for implementation in GHC. All of our results -- chiefly, type safety, along with theorems that relate these two languages -- have been formalized using the Coq proof assistant. Because our work is backwards compatible with Haskell, our type safety proof holds in the presence of nonterminating computation. However, unlike other full-spectrum dependently-typed languages, such as Coq, Agda or Idris, because of this nontermination, Haskell’s term language does not correspond to a consistent logic

Entendendo a agitação psicomotora na sociedade brasileira: revisão de literatura

Introduction: Psychomotor agitation is a characteristic feature characterized by intense arousal, involving both psychological and motor aspects. This condition can manifest in various ways and is often associated with various mental and neurological disorders. Methodology: This literature review employed a systematic approach to identify relevant studies on psychomotor engineering in hospital settings in Brazil. The descriptors used were Psychomotor Agitation, Psychomotor Hyperactivity, Brazil, Hospitals, Psychiatric. The search was conducted in the PUBMED database, using the search filter for the last 10 years. Result: In the context of non-pharmacological management of the agitated patient, recommendations emphasize the importance of following a line of interventions, prioritizing less invasive measures before resorting to more coercive approaches. The process begins with directing the patient to a secure environment, providing a fundamental basis for improvement management. Conclusion: Psychomotor improvement is a symptom that can significantly impact a person's quality of life. Understanding the underlying causes and implementing an appropriate therapeutic approach are essential for the effective management of this state. The support of mental health professionals is crucial to assist in both the assessment and treatment of this complex condition.Introdução: A agitação psicomotora é uma característica que se caracteriza por uma intensa intensa, envolvendo tanto aspectos psicológicos quanto motores. Esta condição pode se manifestar de várias maneiras e está frequentemente associada a diversos transtornos mentais e neurológicos. Metodologia: Esta revisão bibliográfica utilizou uma abordagem sistemática para identificar estudos relevantes sobre engenharia psicomotora em contextos hospitalares no Brasil. Os descritores utilizados foram Psychomotor Agitation, Psychomotor Hyperactivity, Brazil, Hospitals, Psychiatric. A busca foi conduzida na base de dados PUBMED, utilizando o filtro de pesquisa nos últimos 10 anos. Resultado: No contexto do manejo não farmacológico do paciente agitado, as recomendações ressaltam a importância de seguir uma linha de intervenções, priorizando medidas menos invasivas antes de recorrer a abordagens mais coercitivas. O processo inicia com o encaminhamento do paciente para um ambiente protegido, proporcionando uma base fundamental para a gestão da melhoria. Conclusão: A melhoria psicomotora é um sintoma que pode impactar significativamente a qualidade de vida de uma pessoa. A compreensão das causas subjacentes e a implementação de uma abordagem terapêutica adequada são essenciais para o manejo eficaz desse estado. O suporte de profissionais de saúde mental é fundamental para auxiliar tanto na avaliação quanto no tratamento dessa condição complexa

Pervasive gaps in Amazonian ecological research

Biodiversity loss is one of the main challenges of our time,1,2 and attempts to address it require a clear un derstanding of how ecological communities respond to environmental change across time and space.3,4 While the increasing availability of global databases on ecological communities has advanced our knowledge of biodiversity sensitivity to environmental changes,5–7 vast areas of the tropics remain understudied.8–11 In the American tropics, Amazonia stands out as the world’s most diverse rainforest and the primary source of Neotropical biodiversity,12 but it remains among the least known forests in America and is often underrepre sented in biodiversity databases.13–15 To worsen this situation, human-induced modifications16,17 may elim inate pieces of the Amazon’s biodiversity puzzle before we can use them to understand how ecological com munities are responding. To increase generalization and applicability of biodiversity knowledge,18,19 it is thus crucial to reduce biases in ecological research, particularly in regions projected to face the most pronounced environmental changes. We integrate ecological community metadata of 7,694 sampling sites for multiple or ganism groups in a machine learning model framework to map the research probability across the Brazilian Amazonia, while identifying the region’s vulnerability to environmental change. 15%–18% of the most ne glected areas in ecological research are expected to experience severe climate or land use changes by 2050. This means that unless we take immediate action, we will not be able to establish their current status, much less monitor how it is changing and what is being lostinfo:eu-repo/semantics/publishedVersio

ATLANTIC EPIPHYTES: a data set of vascular and non-vascular epiphyte plants and lichens from the Atlantic Forest

Epiphytes are hyper-diverse and one of the frequently undervalued life forms in plant surveys and biodiversity inventories. Epiphytes of the Atlantic Forest, one of the most endangered ecosystems in the world, have high endemism and radiated recently in the Pliocene. We aimed to (1) compile an extensive Atlantic Forest data set on vascular, non-vascular plants (including hemiepiphytes), and lichen epiphyte species occurrence and abundance; (2) describe the epiphyte distribution in the Atlantic Forest, in order to indicate future sampling efforts. Our work presents the first epiphyte data set with information on abundance and occurrence of epiphyte phorophyte species. All data compiled here come from three main sources provided by the authors: published sources (comprising peer-reviewed articles, books, and theses), unpublished data, and herbarium data. We compiled a data set composed of 2,095 species, from 89,270 holo/hemiepiphyte records, in the Atlantic Forest of Brazil, Argentina, Paraguay, and Uruguay, recorded from 1824 to early 2018. Most of the records were from qualitative data (occurrence only, 88%), well distributed throughout the Atlantic Forest. For quantitative records, the most common sampling method was individual trees (71%), followed by plot sampling (19%), and transect sampling (10%). Angiosperms (81%) were the most frequently registered group, and Bromeliaceae and Orchidaceae were the families with the greatest number of records (27,272 and 21,945, respectively). Ferns and Lycophytes presented fewer records than Angiosperms, and Polypodiaceae were the most recorded family, and more concentrated in the Southern and Southeastern regions. Data on non-vascular plants and lichens were scarce, with a few disjunct records concentrated in the Northeastern region of the Atlantic Forest. For all non-vascular plant records, Lejeuneaceae, a family of liverworts, was the most recorded family. We hope that our effort to organize scattered epiphyte data help advance the knowledge of epiphyte ecology, as well as our understanding of macroecological and biogeographical patterns in the Atlantic Forest. No copyright restrictions are associated with the data set. Please cite this Ecology Data Paper if the data are used in publication and teaching events. © 2019 The Authors. Ecology © 2019 The Ecological Society of Americ

Impact of COVID-19 on cardiovascular testing in the United States versus the rest of the world

Objectives: This study sought to quantify and compare the decline in volumes of cardiovascular procedures between the United States and non-US institutions during the early phase of the coronavirus disease-2019 (COVID-19) pandemic. Background: The COVID-19 pandemic has disrupted the care of many non-COVID-19 illnesses. Reductions in diagnostic cardiovascular testing around the world have led to concerns over the implications of reduced testing for cardiovascular disease (CVD) morbidity and mortality. Methods: Data were submitted to the INCAPS-COVID (International Atomic Energy Agency Non-Invasive Cardiology Protocols Study of COVID-19), a multinational registry comprising 909 institutions in 108 countries (including 155 facilities in 40 U.S. states), assessing the impact of the COVID-19 pandemic on volumes of diagnostic cardiovascular procedures. Data were obtained for April 2020 and compared with volumes of baseline procedures from March 2019. We compared laboratory characteristics, practices, and procedure volumes between U.S. and non-U.S. facilities and between U.S. geographic regions and identified factors associated with volume reduction in the United States. Results: Reductions in the volumes of procedures in the United States were similar to those in non-U.S. facilities (68% vs. 63%, respectively; p = 0.237), although U.S. facilities reported greater reductions in invasive coronary angiography (69% vs. 53%, respectively; p < 0.001). Significantly more U.S. facilities reported increased use of telehealth and patient screening measures than non-U.S. facilities, such as temperature checks, symptom screenings, and COVID-19 testing. Reductions in volumes of procedures differed between U.S. regions, with larger declines observed in the Northeast (76%) and Midwest (74%) than in the South (62%) and West (44%). Prevalence of COVID-19, staff redeployments, outpatient centers, and urban centers were associated with greater reductions in volume in U.S. facilities in a multivariable analysis. Conclusions: We observed marked reductions in U.S. cardiovascular testing in the early phase of the pandemic and significant variability between U.S. regions. The association between reductions of volumes and COVID-19 prevalence in the United States highlighted the need for proactive efforts to maintain access to cardiovascular testing in areas most affected by outbreaks of COVID-19 infection

Pervasive gaps in Amazonian ecological research

Biodiversity loss is one of the main challenges of our time,1,2 and attempts to address it require a clear understanding of how ecological communities respond to environmental change across time and space.3,4 While the increasing availability of global databases on ecological communities has advanced our knowledge of biodiversity sensitivity to environmental changes,5,6,7 vast areas of the tropics remain understudied.8,9,10,11 In the American tropics, Amazonia stands out as the world's most diverse rainforest and the primary source of Neotropical biodiversity,12 but it remains among the least known forests in America and is often underrepresented in biodiversity databases.13,14,15 To worsen this situation, human-induced modifications16,17 may eliminate pieces of the Amazon's biodiversity puzzle before we can use them to understand how ecological communities are responding. To increase generalization and applicability of biodiversity knowledge,18,19 it is thus crucial to reduce biases in ecological research, particularly in regions projected to face the most pronounced environmental changes. We integrate ecological community metadata of 7,694 sampling sites for multiple organism groups in a machine learning model framework to map the research probability across the Brazilian Amazonia, while identifying the region's vulnerability to environmental change. 15%–18% of the most neglected areas in ecological research are expected to experience severe climate or land use changes by 2050. This means that unless we take immediate action, we will not be able to establish their current status, much less monitor how it is changing and what is being lost

ATLANTIC BIRD TRAITS: a data set of bird morphological traits from the Atlantic forests of South America

Scientists have long been trying to understand why the Neotropical region holds the highest diversity of birds on Earth. Recently, there has been increased interest in morphological variation between and within species, and in how climate, topography, and anthropogenic pressures may explain and affect phenotypic variation. Because morphological data are not always available for many species at the local or regional scale, we are limited in our understanding of intra- and interspecies spatial morphological variation. Here, we present the ATLANTIC BIRD TRAITS, a data set that includes measurements of up to 44 morphological traits in 67,197 bird records from 2,790 populations distributed throughout the Atlantic forests of South America. This data set comprises information, compiled over two centuries (1820–2018), for 711 bird species, which represent 80% of all known bird diversity in the Atlantic Forest. Among the most commonly reported traits are sex (n = 65,717), age (n = 63,852), body mass (n = 58,768), flight molt presence (n = 44,941), molt presence (n = 44,847), body molt presence (n = 44,606), tail length (n = 43,005), reproductive stage (n = 42,588), bill length (n = 37,409), body length (n = 28,394), right wing length (n = 21,950), tarsus length (n = 20,342), and wing length (n = 18,071). The most frequently recorded species are Chiroxiphia caudata (n = 1,837), Turdus albicollis (n = 1,658), Trichothraupis melanops (n = 1,468), Turdus leucomelas (n = 1,436), and Basileuterus culicivorus (n = 1,384). The species recorded in the greatest number of sampling localities are Basileuterus culicivorus (n = 243), Trichothraupis melanops (n = 242), Chiroxiphia caudata (n = 210), Platyrinchus mystaceus (n = 208), and Turdus rufiventris (n = 191). ATLANTIC BIRD TRAITS (ABT) is the most comprehensive data set on measurements of bird morphological traits found in a biodiversity hotspot; it provides data for basic and applied research at multiple scales, from individual to community, and from the local to the macroecological perspectives. No copyright or proprietary restrictions are associated with the use of this data set. Please cite this data paper when the data are used in publications or teaching and educational activities. © 2019 The Authors. Ecology © 2019 The Ecological Society of Americ